Merge pull request #2621 from cgwalters/drop-jenkins-soup
authorJonathan Lebon <jonathan@jlebon.com>
Tue, 31 May 2022 15:24:33 +0000 (11:24 -0400)
committerGitHub <noreply@github.com>
Tue, 31 May 2022 15:24:33 +0000 (11:24 -0400)

Trivial merge